Conformance Checking: Foundations, Milestones and Challenges

Abstract By relating observed and modelled behaviour, conformance checking unleashes the full power of process mining. Techniques from this discipline enable analysis quality a model discovered event data, identification potential deviations, projection real traces onto models. This way, insights gained available data can be transferred to richer conceptual level, amenable for human interpretation. The aforementioned functionalities are grounded on use artefacts that explicit relation between behaviour. chapter describes these artefacts, builds upon them gain evidence-based processes an organization. Moreover, we overview applications propose general framework incorporates applications. Finally, milestones challenges field outlined.